Equilibrium Graphs
نویسندگان
چکیده
In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are replaced by encircled regions (circles and squares) and quantified variables are represented as “identity” lines. Although the expressive power is equivalent to that of QEL, the new representation can be useful for illustrative or educational purposes.
منابع مشابه
Efficient Local Search in Coordination Games on Graphs
We study strategic games on weighted directed graphs, where the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy augmented by a fixed non-negative bonus for picking a given strategy. These games capture the idea of coordination in the absence of globally common strategies. Prior work shows that the problem of determining the existence...
متن کاملDynamic Graphs
Dynamic graphs are defined in a linear space as one-parameter group of transformations of the graph space into itself. Stability of equilibrium graphs is formulated in the sense of Liapunov to study motions of positive graphs in the nonnegative orthant of the graph space. Relying on the isomorphism of graphs and adjacency matrices, a new concept of dynamic connective stability of complex system...
متن کاملCoordination Games on Directed Graphs
We study natural strategic games on directed graphs, which capture the idea of coordination in the absence of globally common strategies. We show that these games do not need to have a pure Nash equilibrium and that the problem of determining their existence is NP-complete. The same holds for strong equilibria. We also exhibit some classes of games for which strong equilibria exist and prove th...
متن کاملA Characterization of Undirected Graphs Admitting Optimal Cost Shares
In a seminal paper, Chen, Roughgarden and Valiant [7] studied cost sharing protocols for network design with the objective to implement a low-cost Steiner forest as a Nash equilibrium of an induced cost-sharing game. One of the most intriguing open problems up to date is to understand the power of budget-balanced and separable cost sharing protocols in order to induce low-cost Steiner forests. ...
متن کاملCharacteristic Functions of Directed Graphs and Applications to Stochastic Equilibrium Problems
In this paper we introduce the notions of characteristic and potential functions of directed graphs and study their properties. The main motivation for our research is the stochastic equilibrium traffic assignment problem, in which the drivers choose their routes with some probabilities. Since the number of the strategies in this game is very big, we need to find an efficient way of computation...
متن کاملThe Power Allocation Game on A Dynamic Network: Equilibrium Selection
This note proposes two equilibrium selection methods and applies them to the power allocation game developed in [1]. The first method has the game take place on a sequence of time-varying graphs, which redefines the PAG in an extensive form game framework, and selects the subgame perfect Nash equilibria. The second method has the power allocation game take place on a different sequence of time-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1609.02010 شماره
صفحات -
تاریخ انتشار 2016